type A = B & (C)
